141. Imperatives for Theories in Social Science:
پدیدآورنده : Aaron Ola Ogundiwin,, Joel N. Nwachukwu, Aaron Ola Ogundiwin,, et al.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : assumption,concept,dependency,hypothesis,law,model,north-south,paradigm,social science,theory,third world
142. Infinitary logic : in memoriam Carol Karp
پدیدآورنده : a collection of papers by various authors; edited by D. W. Kueker
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory
رده :
QA
3
.
L28
Vol
.
492
143. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
پدیدآورنده : edited by D. W. Kueker
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory,، Karp, Carol, 6291-2791
رده :
QA
1
.
L4
v
.
492
144. Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Karp, Carol,6291-2791,، Infinitary languages,، Model theory
رده :
QA
3
.
L28
no
.
492
145. Infinitary logic:in memorian Carol Karp: a collection of papers by various authors
پدیدآورنده : edited by D. W. Kneker
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Karp, Carol, 6291-2791,Infintary languages -Addresses, essays, lectures,Model theory- Addresses, essays, lectures
رده :
QA
3
.
L28
no
.
492
146. Information theory : for continuous systems
پدیدآورنده : ]editor[ Shunsuke Ihara
کتابخانه: (طهران)
موضوع : Mathematical models ، Entropy )Information theory(,Mathematical model ، Neural transmission
رده :
Q
370
.
I537
147. Institution-independent model theory
پدیدآورنده : Diaconescu, Razvan
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
148. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: (سمنان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R68
149. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
150. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R67
2000
151. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
152. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
153. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: (طهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
154. Intuitionistic logic, modlel theory and forcing
پدیدآورنده : / Melvin Chris Fitting
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Model theory,Axiomatic set theory
رده :
511
.
8
F547
155. Large infinitary languages
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Infinitary languages. ; Model theory. ;
156. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
157. Lecture notes on O-minimal structures and real analytic geometry
پدیدآورنده : / Chris Miller, Jean-Philippe Rolin, Patrick Speissegger, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Model theory,Geometry, Analytic,Vector fields
رده :
E-BOOK
158. Lectures on algebraic model theory /
پدیدآورنده : Bradd Hart, Matthew Valeriote, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic fields,Model theory
رده :
QA9
.
7
.
H37
2002
159. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
160. Logic Colloquium' 88: Proceedings of the Colloquium held in Padova, Italy, August 22-21, 1988
پدیدآورنده : Logic Colloquium )8891: Padova, Italy(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathemaical-- Congresses,، Model theory-- Congresses
رده :
QA
9
.
A1
.
L63
1988
